home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / systems / mac / oztex-german / OzTeX-1.4d.sit.bin / OzTeX 1.4 / TeX-inputs / SFONTS.TEX < prev    next >
Text File  |  1992-03-29  |  29KB  |  586 lines
  1. % File SFONTS - Version of 25 November 1991
  2. % (Lyle Ramshaw replaced "circle" with "lcircle" on 22 Oct 89.)
  3. % (Lyle Ramshaw replaced "am*" with "cm*" on 27 Oct 89.)
  4. % (Corrected \twenty... --> \itwenty... in \itwentyninept,
  5. %   found 91/06/12 by Klaus Thull, corrected 91/06/21.)
  6. % (Added fonts for \sc typeface, RmS 91/10/27.)
  7. % (Introduced the \@setsize macro, RmS 91/10/27.)
  8. % (Added some \relax in front of conditionals, RmS 91/11/25.)
  9.  
  10. % This file needs to be customized for the fonts available at a particular
  11. % site.  There are three places where changes need to be made.  They
  12. % can be found by searching this file for the string  FONT-CUSTOMIZING.
  13. %
  14. % FONT CONVENTIONS
  15. %
  16. % A TYPESTYLE COMMAND is something like \it that defines a type style.
  17. % Each style command \xx is defined to be \protect\pxx, where
  18. % \pxx is defined to choose the correct font for the current size.
  19. % This allows style commands to appear in 'unsafe' arguments where
  20. % protection is required.
  21. %
  22. % A SIZE COMMAND is something like \normalsize that defines a type size.
  23. % It is defined by the document style.
  24. %
  25. % A FONT-SIZE COMMAND is one that defines \textfont, \scriptfont and
  26. % \scriptscriptfont for the font families corresponding to preloaded fonts,
  27. % as well as the typestyle commands for the preloaded fonts.  Each
  28. % font-size command has an associated @fontsize command, having the same
  29. % name except for an '@' at the front.   All font-size commands are defined
  30. % in SFONTS.  The naming convention is that a fifteenpt font has a font-size
  31. % name \fifteenpt, and so on.
  32. %
  33. % Each size command \SIZE executes the command
  34. %             \@setsize\SIZE{BASELINESKIP}\FONTSIZE\@FONTSIZE
  35. % which does the following.
  36. %   0. Executes \@nomath\SIZE to issue warning if in math mode.
  37. %   1. \def \@currsize {\@FONTSIZE}
  38. %   2. Sets \baselineskip to \baselinestretch * BASELINESKIP
  39. %      and
  40. %   3. Executes the \@FONTSIZE command.
  41. %   4. Switches to the default \rm font.
  42. %
  43. % It should then define all the typestyle commands not defined by the font-size
  44. % command, except for the one-size type styles. A typestyle command for which
  45. % the corresponding font exists but is not preloaded is defined to expand to a
  46. % \@getfont command.  A typestyle whose font does not exist is defined to
  47. % expand to a \@subfont command.
  48. %
  49.  
  50. \def\@setsize#1#2#3#4{\@nomath#1\def\@currsize{#4}\baselineskip
  51.    #2\relax\baselineskip\baselinestretch\baselineskip
  52.    \normalbaselineskip\baselineskip#4\rm}
  53.  
  54.  
  55. %  Definition of \newfont and \symbol
  56. %  Note that fonts defined with \newfont won't work
  57. %  with color slides---characters in that font will appear
  58. %  in all color layers and in `invisible' text.
  59. % 
  60. \def\newfont#1#2{\@ifdefinable #1{\font #1=#2\relax}}
  61. \def\symbol#1{\char #1\relax}
  62.  
  63. \message{fonts,}
  64.  
  65. % visible fourteen point fonts
  66. \font\fourteenrm   = lcmss8  scaled \magstep 3 % roman
  67. \font\fourteeni    = cmmi8   scaled \magstep 3 % math italic
  68.     \skewchar\fourteeni ='177                  %  for math accents
  69. \font\fourteensy   = cmsy8   scaled \magstep 3 % symbol
  70.     \skewchar\fourteensy ='60           %   for placement of math accents
  71. \font\fourteenit   = lcmssi8 scaled \magstep 3 % italic
  72. \font\fourteenbf   = lcmssb8 scaled \magstep 3 % bold
  73. \font\fourteentt   = cmtt8   scaled \magstep 3 % typewriter
  74.     \hyphenchar\fourteentt = -1         %  suppress hyphenation in \tt font
  75. \font\fourteensc   = cmcsc10 scaled \magstep 2 % caps and small caps
  76. \font\fourteenlasy = lasy8  scaled \magstep 3 % LaTeX symbol
  77.  
  78. % invisible fourteen point fonts
  79. \font\ifourteenrm   = ilcmss8  scaled \magstep 3 % roman
  80. \font\ifourteeni    = icmmi8   scaled \magstep 3 % math italic
  81.     \skewchar\ifourteeni ='177                  %  for math accents
  82. \font\ifourteensy   = icmsy8   scaled \magstep 3 % symbol
  83.     \skewchar\ifourteensy ='60           %   for placement of math accents
  84. \font\ifourteenit   = ilcmssi8 scaled \magstep 3 % italic
  85. \font\ifourteenbf   = ilcmssb8 scaled \magstep 3 % bold
  86. \font\ifourteentt   = icmtt8   scaled \magstep 3 % typewriter
  87.     \hyphenchar\ifourteentt = -1         %  suppress hyphenation in \tt font
  88. \font\ifourteensc   = icmcsc10 scaled \magstep 2 % caps and small caps
  89. \font\ifourteenlasy = ilasy8  scaled \magstep 3 % LaTeX symbol
  90.  
  91. % visible seventeen point fonts
  92. \font\seventeenrm   = lcmss8  scaled \magstep 4 % roman
  93. \font\seventeeni    = cmmi8   scaled \magstep 4 % math italic
  94.     \skewchar\seventeeni ='177                  %  for math accents
  95. \font\seventeensy   = cmsy8   scaled \magstep 4 % symbol
  96.     \skewchar\seventeensy ='60           %   for placement of math accents
  97. \font\seventeenit   = lcmssi8 scaled \magstep 4 % italic
  98. \font\seventeenbf   = lcmssb8 scaled \magstep 4 % bold
  99. \font\seventeentt   = cmtt8   scaled \magstep 4 % typewriter
  100.     \hyphenchar\seventeentt = -1         %  suppress hyphenation in \tt font
  101. \font\seventeensc   = cmcsc10 scaled \magstep 3 % caps and small caps
  102. \font\seventeenlasy = lasy8  scaled \magstep 4 % LaTeX symbol
  103.  
  104. % invisible seventeen point fonts
  105. \font\iseventeenrm   = ilcmss8  scaled \magstep 4 % roman
  106. \font\iseventeeni    = icmmi8   scaled \magstep 4 % math italic
  107.     \skewchar\iseventeeni ='177                  %  for math accents
  108. \font\iseventeensy   = icmsy8   scaled \magstep 4 % symbol
  109.     \skewchar\iseventeensy ='60           %   for placement of math accents
  110. \font\iseventeenit   = ilcmssi8 scaled \magstep 4 % italic
  111. \font\iseventeenbf   = ilcmssb8 scaled \magstep 4 % bold
  112. \font\iseventeentt   = icmtt8   scaled \magstep 4 % typewriter
  113.     \hyphenchar\iseventeentt = -1         %  suppress hyphenation in \tt font
  114. \font\iseventeensc   = icmcsc10 scaled \magstep 3 % caps and small caps
  115. \font\iseventeenlasy = ilasy8  scaled \magstep 4 % LaTeX symbol
  116.  
  117. % visible twenty point fonts 
  118. \font\twentyrm   = lcmss8  scaled \magstep 5 % roman
  119. \font\twentyi    = cmmi8   scaled \magstep 5 % math italic
  120.     \skewchar\twentyi ='177                  %  for math accents
  121. \font\twentysy   = cmsy8   scaled \magstep 5 % symbol
  122.     \skewchar\twentysy ='60           %   for placement of math accents
  123. \font\twentyit   = lcmssi8 scaled \magstep 5 % italic
  124. \font\twentybf   = lcmssb8 scaled \magstep 5 % bold
  125. \font\twentytt   = cmtt8   scaled \magstep 5 % typewriter
  126.     \hyphenchar\twentytt = -1         %  suppress hyphenation in \tt font
  127. \font\twentysc   = cmcsc10 scaled \magstep 4 % caps and small caps
  128. \font\twentylasy = lasy8  scaled \magstep 5 % LaTeX symbol
  129.  
  130. % invisible twenty point fonts
  131. \font\itwentyrm   = ilcmss8  scaled \magstep 5 % roman
  132. \font\itwentyi    = icmmi8   scaled \magstep 5 % math italic
  133.     \skewchar\itwentyi ='177                  %  for math accents
  134. \font\itwentysy   = icmsy8   scaled \magstep 5 % symbol
  135.     \skewchar\itwentysy ='60           %   for placement of math accents
  136. \font\itwentyit   = ilcmssi8 scaled \magstep 5 % italic
  137. \font\itwentybf   = ilcmssb8 scaled \magstep 5 % bold
  138. \font\itwentytt   = icmtt8   scaled \magstep 5 % typewriter
  139.     \hyphenchar\itwentytt = -1         %  suppress hyphenation in \tt font
  140. \font\itwentysc   = icmcsc10 scaled \magstep 4 % caps and small caps
  141. \font\itwentylasy = ilasy8  scaled \magstep 5 % LaTeX symbol
  142.  
  143. % visible twentyfour point fonts -- \magstep 6
  144. \font\twentyfourrm   = lcmss8  scaled 2986 % roman
  145. \font\twentyfouri    = cmmi8   scaled 2986 % math italic
  146.     \skewchar\twentyfouri ='177                  %  for math accents
  147. \font\twentyfoursy   = cmsy8   scaled 2986 % symbol
  148.     \skewchar\twentyfoursy ='60           %   for placement of math accents
  149. \font\twentyfourit   = lcmssi8 scaled 2986 % italic
  150. \font\twentyfourbf   = lcmssb8 scaled 2986 % bold
  151. \font\twentyfourtt   = cmtt8   scaled 2986 % typewriter
  152.     \hyphenchar\twentyfourtt = -1         %  suppress hyphenation in \tt font
  153. \font\twentyfoursc   = cmcsc10 scaled \magstep 5 % caps and small caps
  154. \font\twentyfourlasy = lasy8  scaled 2986 % LaTeX symbol
  155.  
  156. % invisible twentyfour point fonts
  157. \font\itwentyfourrm   = ilcmss8  scaled 2986 % roman
  158. \font\itwentyfouri    = icmmi8   scaled 2986 % math italic
  159.     \skewchar\itwentyfouri ='177                  %  for math accents
  160. \font\itwentyfoursy   = icmsy8   scaled 2986 % symbol
  161.     \skewchar\itwentyfoursy ='60           %   for placement of math accents
  162. \font\itwentyfourit   = ilcmssi8 scaled 2986 % italic
  163. \font\itwentyfourbf   = ilcmssb8 scaled 2986 % bold
  164. \font\itwentyfourtt   = icmtt8   scaled 2986 % typewriter
  165.     \hyphenchar\itwentyfourtt = -1         %  suppress hyphenation in \tt font
  166. \font\itwentyfoursc   = icmcsc10 scaled \magstep 5 % caps and small caps
  167. \font\itwentyfourlasy = ilasy8  scaled 2986 % LaTeX symbol
  168.  
  169. % visible twentynine point fonts -- \magstep 7
  170. \font\twentyninerm   = lcmss8  scaled 3583 % roman
  171. \font\twentyninei    = cmmi8   scaled 3583 % math italic
  172.     \skewchar\twentyninei ='177                  %  for math accents
  173. \font\twentyninesy   = cmsy8   scaled 3583 % symbol
  174.     \skewchar\twentyninesy ='60           %   for placement of math accents
  175. \font\twentynineit   = lcmssi8 scaled 3583 % italic
  176. \font\twentyninebf   = lcmssb8 scaled 3583 % bold
  177. \font\twentyninett   = cmtt8   scaled 3583 % typewriter
  178.     \hyphenchar\twentyninett = -1         %  suppress hyphenation in \tt font
  179. \font\twentyninesc   = cmcsc10 scaled 2986 % caps and small caps
  180. \font\twentyninelasy = lasy8  scaled 3583 % LaTeX symbol
  181.  
  182. % invisible twentynine point fonts
  183. \font\itwentyninerm   = ilcmss8  scaled 3583 % roman
  184. \font\itwentyninei    = icmmi8   scaled 3583 % math italic
  185.     \skewchar\itwentyninei ='177                  %  for math accents
  186. \font\itwentyninesy   = icmsy8   scaled 3583 % symbol
  187.     \skewchar\itwentyninesy ='60           %   for placement of math accents
  188. \font\itwentynineit   = ilcmssi8 scaled 3583 % italic
  189. \font\itwentyninebf   = ilcmssb8 scaled 3583 % bold
  190. \font\itwentyninett   = icmtt8   scaled 3583 % typewriter
  191.     \hyphenchar\itwentyninett = -1         %  suppress hyphenation in \tt font
  192. \font\itwentyninesc   = icmcsc10 scaled 2986 % caps and small caps
  193. \font\itwentyninelasy = ilasy8  scaled 3583 % LaTeX symbol
  194.  
  195. % visible thirtyfour point fonts -- \magstep 8
  196. \font\thirtyfourrm   = lcmss8  scaled 4300 % roman
  197. \font\thirtyfouri    = cmmi8   scaled 4300 % math italic
  198.     \skewchar\thirtyfouri ='177                  %  for math accents
  199. \font\thirtyfoursy   = cmsy8   scaled 4300 % symbol
  200.     \skewchar\thirtyfoursy ='60           %   for placement of math accents
  201. \font\thirtyfourit   = lcmssi8 scaled 4300 % italic
  202. \font\thirtyfourbf   = lcmssb8 scaled 4300 % bold
  203. \font\thirtyfourtt   = cmtt8   scaled 4300 % typewriter
  204.     \hyphenchar\thirtyfourtt = -1         %  suppress hyphenation in \tt font
  205. \font\thirtyfoursc   = cmcsc10 scaled 3583 % caps and small caps
  206. \font\thirtyfourlasy = lasy8  scaled 4300 % LaTeX symbol
  207.  
  208. % invisible thirtyfour point fonts
  209. \font\ithirtyfourrm   = ilcmss8  scaled 4300 % roman
  210. \font\ithirtyfouri    = icmmi8   scaled 4300 % math italic
  211.     \skewchar\ithirtyfouri ='177                  %  for math accents
  212. \font\ithirtyfoursy   = icmsy8   scaled 4300 % symbol
  213.     \skewchar\ithirtyfoursy ='60           %   for placement of math accents
  214. \font\ithirtyfourit   = ilcmssi8 scaled 4300 % italic
  215. \font\ithirtyfourbf   = ilcmssb8 scaled 4300 % bold
  216. \font\ithirtyfourtt   = icmtt8   scaled 4300 % typewriter
  217.     \hyphenchar\ithirtyfourtt = -1         %  suppress hyphenation in \tt font
  218. \font\ithirtyfoursc   = icmcsc10 scaled 3583 % caps and small caps
  219. \font\ithirtyfourlasy = ilasy8  scaled 4300 % LaTeX symbol
  220.  
  221. % fortyone point fonts
  222. \font\fortyonerm  = lcmss8  scaled 5160 % roman
  223. \font\ifortyonerm = ilcmss8 scaled 5160 % roman
  224.  
  225. % math extension
  226. \font\tenex =cmex10  scaled\magstep3
  227. \font\itenex=icmex10 scaled\magstep3
  228.  
  229. % line and circle fonts
  230. \font\tenln    = line10
  231. \font\tenlnw   = linew10
  232. \font\tencirc  = lcircle10
  233. \font\tencircw = lcirclew10
  234.  
  235. \ifnum\fontdimen8\tenln=\fontdimen8\tencirc \else 
  236.   \@warning{Incompatible thin line and circle fonts}\fi
  237. \ifnum\fontdimen8\tenlnw=\fontdimen8\tencircw \else 
  238.   \@warning{Incompatible thick line and circle fonts}\fi
  239.  
  240. % Definition of type sizes
  241.  
  242. % NOTE: In this file, \lineskip is 1pt for all font sizes.
  243. \lineskip 1pt
  244. \normallineskip 1pt
  245.  
  246. \def\@subfam#1#2{\@warning{No \string#1\space typeface in 
  247.         SLiTeX, using \string#2}#2}
  248.  
  249.  
  250. % protected font names
  251. \def\rm{\protect\prm}
  252. \def\it{\protect\pit}
  253. \def\bf{\protect\pbf}
  254. \def\tt{\protect\ptt}
  255. \def\sl{\@subfam\sl\it}
  256. \def\sf{\@subfam\sf\rm}
  257. \def\sc{\protect\psc}
  258.  
  259. \def\em{\protect\pem{}}
  260. \def\pem{\relax\ifdim \fontdimen\@ne\font >\z@ \rm \else \it \fi}
  261.  
  262. \def\mit{\fam\@ne} 
  263. \def\cal{\fam\tw@}
  264.  
  265. \def\boldmath{\@warning{No \string\boldmath\space in SLiTeX}}
  266. \let\unboldmath=\relax
  267.  
  268. \def\@nomath#1{\relax\ifmmode \@warning{\string#1\space in math mode.}\fi}
  269.  
  270.  
  271. % unused families defined to keep family numbering the same as in LaTeX
  272. %
  273. \newfam\itfam      % \it is family 4
  274. \newfam\slfam      % \sl is family 5  -  Not used in SLiTeX
  275. \newfam\bffam      % \bf is family 6
  276. \newfam\ttfam      % \tt is family 7
  277. \newfam\sffam      % \sf is family 8  -  Not used in SLiTeX
  278. \newfam\scfam      % \sc is family 9  -  Not used in SLiTeX
  279. \newfam\lyfam      % \ly is family 10
  280.  
  281.  
  282. \def\fourteenpt{\def\prm{\fam\z@\fourteenrm\def\@currfont{\rm}}%
  283. \textfont\z@\fourteenrm \scriptfont\z@\fourteenrm 
  284.   \scriptscriptfont\z@\fourteenrm
  285. \textfont\@ne\fourteeni \scriptfont\@ne\fourteeni 
  286.   \scriptscriptfont\@ne\fourteeni
  287. \textfont\tw@\fourteensy \scriptfont\tw@\fourteensy 
  288.   \scriptscriptfont\tw@\fourteensy
  289. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  290. \def\pit{\fam\itfam\fourteenit\def\@currfont{\it}}\textfont\itfam\fourteenit 
  291.     \scriptfont\itfam\fourteenit \scriptscriptfont\itfam\fourteenit
  292. \def\pbf{\fam\bffam\fourteenbf\def\@currfont{\bf}}\textfont\bffam\fourteenbf 
  293.    \scriptfont\bffam\fourteenbf \scriptscriptfont\bffam\fourteenbf
  294. \def\ptt{\fam\ttfam\fourteentt\def\@currfont{\tt}}\textfont\ttfam\fourteentt 
  295.     \scriptfont\ttfam\fourteentt \scriptscriptfont\ttfam\fourteentt
  296. \def\psc{\fam\scfam\fourteensc\def\@currfont{\sc}}\textfont\scfam\fourteensc 
  297.     \scriptfont\scfam\fourteensc \scriptscriptfont\scfam\fourteensc
  298. \def\lasy{\fam\lyfam\fourteenlasy\def\@currfont{\lasy}}%
  299. \textfont\lyfam\fourteenlasy \scriptfont\lyfam\fourteenlasy 
  300.    \scriptscriptfont\lyfam\fourteenlasy}
  301.  
  302. \def\ifourteenpt{\def\prm{\fam\z@\ifourteenrm\def\@currfont{\rm}}%
  303. \textfont\z@\ifourteenrm \scriptfont\z@\ifourteenrm 
  304.    \scriptscriptfont\z@\ifourteenrm
  305. \textfont\@ne\ifourteeni \scriptfont\@ne\ifourteeni 
  306.    \scriptscriptfont\@ne\ifourteeni
  307. \textfont\tw@\ifourteensy \scriptfont\tw@\ifourteensy 
  308.     \scriptscriptfont\tw@\ifourteensy
  309. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  310. \def\pit{\fam\itfam\ifourteenit\def\@currfont{\it}}\textfont\itfam\ifourteenit 
  311.     \scriptfont\itfam\ifourteenit \scriptscriptfont\itfam\ifourteenit
  312. \def\pbf{\fam\bffam\ifourteenbf\def\@currfont{\bf}}\textfont\bffam\ifourteenbf 
  313.   \scriptfont\bffam\ifourteenbf \scriptscriptfont\bffam\ifourteenbf
  314. \def\ptt{\fam\ttfam\ifourteentt\def\@currfont{\tt}}\textfont\ttfam\ifourteentt 
  315.   \scriptfont\ttfam\ifourteentt \scriptscriptfont\ttfam\ifourteentt
  316. \def\psc{\fam\scfam\ifourteensc\def\@currfont{\sc}}\textfont\scfam\ifourteensc 
  317.     \scriptfont\scfam\ifourteensc \scriptscriptfont\scfam\ifourteensc
  318. \def\lasy{\fam\lyfam\ifourteenlasy\def\@currfont{\lasy}}%
  319. \textfont\lyfam\ifourteenlasy \scriptfont\lyfam\ifourteenlasy 
  320.    \scriptscriptfont\lyfam\ifourteenlasy}
  321.  
  322. \def\seventeenpt{\def\prm{\fam\z@\seventeenrm\def\@currfont{\rm}}%
  323. \textfont\z@\seventeenrm \scriptfont\z@\fourteenrm 
  324.    \scriptscriptfont\z@\fourteenrm
  325. \textfont\@ne\seventeeni \scriptfont\@ne\fourteeni 
  326.    \scriptscriptfont\@ne\fourteeni
  327. \textfont\tw@\seventeensy \scriptfont\tw@\fourteensy 
  328.    \scriptscriptfont\tw@\fourteensy
  329. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  330. \def\pit{\fam\itfam\seventeenit\def\@currfont{\it}}\textfont\itfam\seventeenit 
  331.    \scriptfont\itfam\fourteenit \scriptscriptfont\itfam\fourteenit
  332. \def\pbf{\fam\bffam\seventeenbf\def\@currfont{\bf}}\textfont\bffam\seventeenbf 
  333.    \scriptfont\bffam\fourteenbf \scriptscriptfont\bffam\fourteenbf
  334. \def\ptt{\fam\ttfam\seventeentt\def\@currfont{\tt}}\textfont\ttfam\seventeentt
  335.    \scriptfont\ttfam\fourteentt \scriptscriptfont\ttfam\fourteentt
  336. \def\psc{\fam\scfam\seventeensc\def\@currfont{\sc}}\textfont\scfam\seventeensc
  337.    \scriptfont\scfam\fourteensc \scriptscriptfont\scfam\fourteensc
  338. \def\lasy{\fam\lyfam\seventeenlasy\def\@currfont{\lasy}}%
  339. \textfont\lyfam\seventeenlasy \scriptfont\lyfam\fourteenlasy 
  340.    \scriptscriptfont\lyfam\fourteenlasy}
  341.  
  342. \def\iseventeenpt{\def\prm{\fam\z@\iseventeenrm\def\@currfont{\rm}}%
  343. \textfont\z@\iseventeenrm \scriptfont\z@\ifourteenrm 
  344.    \scriptscriptfont\z@\ifourteenrm
  345. \textfont\@ne\iseventeeni \scriptfont\@ne\ifourteeni 
  346.    \scriptscriptfont\@ne\ifourteeni
  347. \textfont\tw@\iseventeensy \scriptfont\tw@\ifourteensy 
  348.    \scriptscriptfont\tw@\ifourteensy
  349. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  350. \def\pit{\fam\itfam\iseventeenit\def\@currfont{\it}}%
  351. \textfont\itfam\iseventeenit 
  352.    \scriptfont\itfam\ifourteenit \scriptscriptfont\itfam\ifourteenit
  353. \def\pbf{\fam\bffam\iseventeenbf\def\@currfont{\bf}}%
  354. \textfont\bffam\iseventeenbf 
  355.    \scriptfont\bffam\ifourteenbf \scriptscriptfont\bffam\ifourteenbf
  356. \def\ptt{\fam\ttfam\iseventeentt\def\@currfont{\tt}}%
  357. \textfont\ttfam\iseventeentt
  358.    \scriptfont\ttfam\ifourteentt \scriptscriptfont\ttfam\ifourteentt
  359. \def\psc{\fam\scfam\iseventeensc\def\@currfont{\sc}}%
  360. \textfont\scfam\iseventeensc
  361.    \scriptfont\scfam\ifourteensc \scriptscriptfont\scfam\ifourteensc
  362. \def\lasy{\fam\lyfam\iseventeenlasy\def\@currfont{\lasy}}%
  363. \textfont\lyfam\iseventeenlasy \scriptfont\lyfam\ifourteenlasy 
  364.    \scriptscriptfont\lyfam\ifourteenlasy}
  365.  
  366. \def\twentypt{\def\prm{\fam\z@\twentyrm\def\@currfont{\rm}}%
  367. \textfont\z@\twentyrm \scriptfont\z@\seventeenrm 
  368.    \scriptscriptfont\z@\fourteenrm
  369. \textfont\@ne\twentyi \scriptfont\@ne\seventeeni 
  370.    \scriptscriptfont\@ne\fourteeni
  371. \textfont\tw@\twentysy \scriptfont\tw@\seventeensy 
  372.    \scriptscriptfont\tw@\fourteensy
  373. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  374. \def\pit{\fam\itfam\twentyit\def\@currfont{\it}}\textfont\itfam\twentyit 
  375.    \scriptfont\itfam\seventeenit \scriptscriptfont\itfam\fourteenit
  376. \def\pbf{\fam\bffam\twentybf\def\@currfont{\bf}}\textfont\bffam\twentybf 
  377.    \scriptfont\bffam\seventeenbf \scriptscriptfont\bffam\fourteenbf
  378. \def\ptt{\fam\ttfam\twentytt\def\@currfont{\tt}}\textfont\ttfam\twentytt
  379.    \scriptfont\ttfam\seventeentt \scriptscriptfont\ttfam\fourteentt
  380. \def\psc{\fam\scfam\twentysc\def\@currfont{\sc}}\textfont\scfam\twentysc
  381.    \scriptfont\scfam\seventeensc \scriptscriptfont\scfam\fourteensc
  382. \def\lasy{\fam\lyfam\twentylasy\def\@currfont{\lasy}}%
  383. \textfont\lyfam\twentylasy \scriptfont\lyfam\seventeenlasy 
  384.    \scriptscriptfont\lyfam\fourteenlasy}
  385.  
  386. \def\itwentypt{\def\prm{\fam\z@\itwentyrm\def\@currfont{\rm}}%
  387. \textfont\z@\itwentyrm \scriptfont\z@\iseventeenrm 
  388.    \scriptscriptfont\z@\ifourteenrm
  389. \textfont\@ne\itwentyi \scriptfont\@ne\iseventeeni 
  390.    \scriptscriptfont\@ne\ifourteeni
  391. \textfont\tw@\itwentysy \scriptfont\tw@\iseventeensy 
  392.    \scriptscriptfont\tw@\ifourteensy
  393. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  394. \def\pit{\fam\itfam\itwentyit\def\@currfont{\it}}\textfont\itfam\itwentyit 
  395.    \scriptfont\itfam\iseventeenit \scriptscriptfont\itfam\ifourteenit
  396. \def\pbf{\fam\bffam\itwentybf\def\@currfont{\bf}}\textfont\bffam\itwentybf 
  397.    \scriptfont\bffam\iseventeenbf \scriptscriptfont\bffam\ifourteenbf
  398. \def\ptt{\fam\ttfam\itwentytt\def\@currfont{\tt}}\textfont\ttfam\itwentytt
  399.    \scriptfont\ttfam\iseventeentt \scriptscriptfont\ttfam\ifourteentt
  400. \def\psc{\fam\scfam\itwentysc\def\@currfont{\sc}}\textfont\scfam\itwentysc
  401.    \scriptfont\scfam\iseventeensc \scriptscriptfont\scfam\ifourteensc
  402. \def\lasy{\fam\lyfam\itwentylasy\def\@currfont{\lasy}}%
  403. \textfont\lyfam\itwentylasy \scriptfont\lyfam\iseventeenlasy 
  404.    \scriptscriptfont\lyfam\ifourteenlasy}
  405.  
  406. \def\twentyfourpt{\def\prm{\fam\z@\twentyfourrm\def\@currfont{\rm}}%
  407. \textfont\z@\twentyfourrm \scriptfont\z@\twentyrm 
  408.    \scriptscriptfont\z@\seventeenrm
  409. \textfont\@ne\twentyfouri \scriptfont\@ne\twentyi 
  410.    \scriptscriptfont\@ne\seventeeni
  411. \textfont\tw@\twentyfoursy \scriptfont\tw@\twentysy 
  412.    \scriptscriptfont\tw@\seventeensy
  413. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  414. \def\pit{\fam\itfam\twentyfourit\def\@currfont{\it}}%
  415. \textfont\itfam\twentyfourit 
  416.    \scriptfont\itfam\twentyit \scriptscriptfont\itfam\seventeenit
  417. \def\pbf{\fam\bffam\twentyfourbf\def\@currfont{\bf}}%
  418. \textfont\bffam\twentyfourbf 
  419.    \scriptfont\bffam\twentybf \scriptscriptfont\bffam\seventeenbf
  420. \def\ptt{\fam\ttfam\twentyfourtt\def\@currfont{\tt}}%
  421. \textfont\ttfam\twentyfourtt
  422.    \scriptfont\ttfam\twentytt \scriptscriptfont\ttfam\seventeentt
  423. \def\psc{\fam\scfam\twentyfoursc\def\@currfont{\sc}}%
  424. \textfont\scfam\twentyfoursc
  425.    \scriptfont\scfam\twentysc \scriptscriptfont\scfam\seventeensc
  426. \def\lasy{\fam\lyfam\twentyfourlasy\def\@currfont{\lasy}}%
  427. \textfont\lyfam\twentyfourlasy \scriptfont\lyfam\twentylasy 
  428.    \scriptscriptfont\lyfam\seventeenlasy}
  429.  
  430. \def\itwentyfourpt{\def\prm{\fam\z@\itwentyfourrm\def\@currfont{\rm}}%
  431. \textfont\z@\itwentyfourrm \scriptfont\z@\itwentyrm 
  432.    \scriptscriptfont\z@\iseventeenrm
  433. \textfont\@ne\itwentyfouri \scriptfont\@ne\itwentyi 
  434.    \scriptscriptfont\@ne\iseventeeni
  435. \textfont\tw@\itwentyfoursy \scriptfont\tw@\itwentysy 
  436.    \scriptscriptfont\tw@\iseventeensy
  437. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  438. \def\pit{\fam\itfam\itwentyfourit\def\@currfont{\it}}%
  439. \textfont\itfam\itwentyfourit
  440.    \scriptfont\itfam\itwentyit \scriptscriptfont\itfam\iseventeenit
  441. \def\pbf{\fam\bffam\itwentyfourbf\def\@currfont{\bf}}%
  442. \textfont\bffam\itwentyfourbf 
  443.    \scriptfont\bffam\itwentybf \scriptscriptfont\bffam\iseventeenbf
  444. \def\ptt{\fam\ttfam\itwentyfourtt\def\@currfont{\tt}}%
  445. \textfont\ttfam\itwentyfourtt
  446.    \scriptfont\ttfam\itwentytt \scriptscriptfont\ttfam\iseventeentt
  447. \def\psc{\fam\scfam\itwentyfoursc\def\@currfont{\sc}}%
  448. \textfont\scfam\itwentyfoursc
  449.    \scriptfont\scfam\itwentysc \scriptscriptfont\scfam\iseventeensc
  450. \def\lasy{\fam\lyfam\itwentyfourlasy\def\@currfont{\lasy}}%
  451. \textfont\lyfam\itwentyfourlasy \scriptfont\lyfam\itwentylasy 
  452.    \scriptscriptfont\lyfam\iseventeenlasy}
  453.  
  454. \def\twentyninept{\def\prm{\fam\z@\twentyninerm\def\@currfont{\rm}}%
  455. \textfont\z@\twentyninerm \scriptfont\z@\twentyfourrm 
  456.    \scriptscriptfont\z@\twentyrm
  457. \textfont\@ne\twentyninei \scriptfont\@ne\twentyfouri 
  458.    \scriptscriptfont\@ne\twentyi
  459. \textfont\tw@\twentyninesy \scriptfont\tw@\twentyfoursy 
  460.    \scriptscriptfont\tw@\twentysy
  461. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  462. \def\pit{\fam\itfam\twentynineit\def\@currfont{\it}}%
  463. \textfont\itfam\twentynineit 
  464.    \scriptfont\itfam\twentyfourit \scriptscriptfont\itfam\twentyit
  465. \def\pbf{\fam\bffam\twentyninebf\def\@currfont{\bf}}%
  466. \textfont\bffam\twentyninebf 
  467.    \scriptfont\bffam\twentyfourbf \scriptscriptfont\bffam\twentybf
  468. \def\ptt{\fam\ttfam\twentyninett\def\@currfont{\tt}}%
  469. \textfont\ttfam\twentyninett
  470.    \scriptfont\ttfam\twentyfourtt \scriptscriptfont\ttfam\twentytt
  471. \def\psc{\fam\scfam\twentyninesc\def\@currfont{\sc}}%
  472. \textfont\scfam\twentyninesc
  473.    \scriptfont\scfam\twentyfoursc \scriptscriptfont\scfam\twentysc
  474. \def\lasy{\fam\lyfam\twentyninelasy\def\@currfont{\lasy}}%
  475. \textfont\lyfam\twentyninelasy \scriptfont\lyfam\twentyfourlasy 
  476.    \scriptscriptfont\lyfam\twentylasy}
  477.  
  478. \def\itwentyninept{\def\prm{\fam\z@\itwentyninerm\def\@currfont{\rm}}%
  479. \textfont\z@\itwentyninerm \scriptfont\z@\itwentyfourrm 
  480.    \scriptscriptfont\z@\itwentyrm
  481. \textfont\@ne\itwentyninei \scriptfont\@ne\itwentyfouri 
  482.    \scriptscriptfont\@ne\itwentyi
  483. \textfont\tw@\itwentyninesy \scriptfont\tw@\itwentyfoursy 
  484.    \scriptscriptfont\tw@\itwentysy
  485. \textfont\thr@@\itenex \scriptfont\thr@@\itenex 
  486.    \scriptscriptfont\thr@@\itenex
  487. \def\pit{\fam\itfam\itwentynineit\def\@currfont{\it}}%
  488. \textfont\itfam\itwentynineit 
  489. \scriptfont\itfam\itwentyfourit \scriptscriptfont\itfam\itwentyit
  490. \def\pbf{\fam\bffam\itwentyninebf\def\@currfont{\bf}}%
  491. \textfont\bffam\itwentyninebf 
  492.    \scriptfont\bffam\itwentyfourbf \scriptscriptfont\bffam\itwentybf
  493. \def\ptt{\fam\ttfam\itwentyninett\def\@currfont{\tt}}%
  494. \textfont\ttfam\itwentyninett
  495.    \scriptfont\ttfam\itwentyfourtt \scriptscriptfont\ttfam\itwentytt
  496. \def\psc{\fam\scfam\itwentyninesc\def\@currfont{\sc}}%
  497. \textfont\scfam\itwentyninesc
  498.    \scriptfont\scfam\itwentyfoursc \scriptscriptfont\scfam\itwentysc
  499. \def\lasy{\fam\lyfam\itwentyninelasy\def\@currfont{\lasy}}%
  500. \textfont\lyfam\itwentyninelasy \scriptfont\lyfam\itwentyfourlasy 
  501.    \scriptscriptfont\lyfam\itwentylasy}
  502.  
  503. \def\thirtyfourpt{\def\prm{\fam\z@\thirtyfourrm\def\@currfont{\rm}}%
  504. \textfont\z@\thirtyfourrm \scriptfont\z@\twentyninerm 
  505.    \scriptscriptfont\z@\twentyfourrm
  506. \textfont\@ne\thirtyfouri \scriptfont\@ne\twentyninei 
  507.    \scriptscriptfont\@ne\twentyfouri
  508. \textfont\tw@\thirtyfoursy \scriptfont\tw@\twentyninesy 
  509.    \scriptscriptfont\tw@\twentyfoursy
  510. \textfont\thr@@\tenex \scriptfont\thr@@\tenex \scriptscriptfont\thr@@\tenex
  511. \def\pit{\fam\itfam\thirtyfourit\def\@currfont{\it}}%
  512. \textfont\itfam\thirtyfourit 
  513.    \scriptfont\itfam\twentynineit \scriptscriptfont\itfam\twentyfourit
  514. \def\pbf{\fam\bffam\thirtyfourbf\def\@currfont{\bf}}%
  515. \textfont\bffam\thirtyfourbf 
  516.    \scriptfont\bffam\twentyninebf \scriptscriptfont\bffam\twentyfourbf
  517. \def\ptt{\fam\ttfam\thirtyfourtt\def\@currfont{\tt}}%
  518. \textfont\ttfam\thirtyfourtt
  519.    \scriptfont\ttfam\twentyninett \scriptscriptfont\ttfam\twentyfourtt
  520. \def\psc{\fam\scfam\thirtyfoursc\def\@currfont{\sc}}%
  521. \textfont\scfam\thirtyfoursc
  522.    \scriptfont\scfam\twentyninesc \scriptscriptfont\scfam\twentyfoursc
  523. \def\lasy{\fam\lyfam\thirtyfourlasy\def\@currfont{\lasy}}%
  524. \textfont\lyfam\thirtyfourlasy \scriptfont\lyfam\twentyninelasy 
  525.    \scriptscriptfont\lyfam\twentyfourlasy}
  526.  
  527. \def\ithirtyfourpt{\def\prm{\fam\z@\ithirtyfourrm\def\@currfont{\rm}}%
  528. \textfont\z@\ithirtyfourrm \scriptfont\z@\itwentyninerm 
  529.    \scriptscriptfont\z@\itwentyfourrm
  530. \textfont\@ne\ithirtyfouri \scriptfont\@ne\itwentyninei 
  531.    \scriptscriptfont\@ne\itwentyfouri
  532. \textfont\tw@\ithirtyfoursy \scriptfont\tw@\itwentyninesy 
  533.    \scriptscriptfont\tw@\itwentyfoursy
  534. \textfont\thr@@\itenex \scriptfont\thr@@\itenex \scriptscriptfont\thr@@\itenex
  535. \def\pit{\fam\itfam\ithirtyfourit\def\@currfont{\it}}%
  536. \textfont\itfam\ithirtyfourit 
  537.    \scriptfont\itfam\itwentynineit \scriptscriptfont\itfam\itwentyfourit
  538. \def\pbf{\fam\bffam\ithirtyfourbf\def\@currfont{\bf}}%
  539. \textfont\bffam\ithirtyfourbf 
  540.    \scriptfont\bffam\itwentyninebf \scriptscriptfont\bffam\itwentyfourbf
  541. \def\ptt{\fam\ttfam\ithirtyfourtt\def\@currfont{\tt}}%
  542. \textfont\ttfam\ithirtyfourtt
  543.    \scriptfont\ttfam\itwentyninett \scriptscriptfont\ttfam\itwentyfourtt
  544. \def\psc{\fam\scfam\ithirtyfoursc\def\@currfont{\sc}}%
  545. \textfont\scfam\ithirtyfoursc
  546.    \scriptfont\scfam\itwentyninesc \scriptscriptfont\scfam\itwentyfoursc
  547. \def\lasy{\fam\lyfam\ithirtyfourlasy\def\@currfont{\lasy}}%
  548. \textfont\lyfam\ithirtyfourlasy \scriptfont\lyfam\itwentyninelasy 
  549.    \scriptscriptfont\lyfam\itwentyfourlasy}
  550.  
  551. \def\fortyonept{\thirtyfourpt\def\prm{\fam\z@\fortyonerm\def\@currfont{\rm}}%
  552. \textfont\z@\fortyonerm 
  553. \scriptfont\z@\twentyninerm \scriptscriptfont\z@\twentyfourrm}
  554.  
  555. \def\ifortyonept{\ithirtyfourpt
  556.   \def\prm{\fam\z@\ifortyonerm\def\@currfont{\rm}}%
  557. \textfont\z@\ifortyonerm 
  558. \scriptfont\z@\itwentyninerm \scriptscriptfont\z@\itwentyfourrm}
  559.  
  560. % Definitions of math operators added by LaTeX
  561. \mathchardef\mho"0A30
  562. \mathchardef\Join"3A31
  563. \mathchardef\Box"0A32
  564. \mathchardef\Diamond"0A33
  565. \mathchardef\leadsto"3A3B
  566. \mathchardef\sqsubset"3A3C
  567. \mathchardef\sqsupset"3A3D
  568. \def\lhd{\mathbin{< \hbox to -.43em{}\if@visible 
  569.    \hbox{\vrule \@width .065em \@height .55em \@depth .05em}\else
  570.    \hbox{\hskip .065em \vrule \@width \z@ \@height .55em \@depth .05em}
  571.     \fi\hbox to .2em{}}}
  572. \def\rhd{\mathbin{\hbox to .3em{}\if@visible
  573.     \hbox{\vrule \@width .065em \@height .55em \@depth .05em}\else
  574.     \hbox{\hskip .065em \vrule \@width \z@ \@height .55em \@depth .05em}\fi
  575.     \hbox to -.43em{}>}}
  576. \def\unlhd{\mathbin{\leq \hbox to -.43em{}\if@visible
  577.     \hbox{\vrule \@width .065em \@height .63em \@depth -.08em}\else
  578.     \hbox{\hskip .065em \vrule \@width \z@ \@height .63em \@depth -.08em}\fi
  579.     \hbox to .2em{}}}
  580. \def\unrhd{\mathbin{ \hbox to .3em{}\if@visible
  581.     \hbox{\vrule \@width .065em \@height .63em \@depth -.08em}\else
  582.     \hbox{\hskip .065em \vrule \@width \z@ \@height .63em \@depth -.08em}\fi
  583.     \hbox to -.43em{}\geq}}
  584.  
  585. \endinput
  586.